#Density : 991286673308630542983531313/3200000000000000000000000000

Program                      : VertexInducedHypercubeDensityChecker

Dimension of subcubes H      : 4
Number of induced hypercubes : 1
Induced hypercubes           :
4 : {7, 8, 14}
Number of terms              : 19


--- Term 1 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {0}
F2 : {0, 2}
F3 : {0, 3}
F4 : {0, 2, 3}
F5 : {0, 1, 2}
F6 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 4287867895597786217752099/62500000000000000000000000 0/1 -1659025096670526308434819/62500000000000000000000000 -125977397455137388871377/62500000000000000000000000 -12140438326298675239577773/500000000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
0/1 -1659025096670526308434819/62500000000000000000000000 0/1 29002581529884579402055797/1000000000000000000000000000 -227903286428306910337137/1000000000000000000000000000 -5966244984847928625966481/1000000000000000000000000000
0/1 -125977397455137388871377/62500000000000000000000000 0/1 -227903286428306910337137/1000000000000000000000000000 22060670535235301255887803/1000000000000000000000000000 -15392884588202158026551881/1000000000000000000000000000
0/1 -12140438326298675239577773/500000000000000000000000000 0/1 -5966244984847928625966481/1000000000000000000000000000 -15392884588202158026551881/1000000000000000000000000000 31384066136367091292106611/500000000000000000000000000


--- Term 2 ---

Dimension of type  : 0
Dimension of flags : 2
Number of flags    : 6
Matrix dimension   : 6

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}
F5 : {1, 2}
F6 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)
B5 : (F5)
B6 : (F6)

Matrix :
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 13226007168942233237318053/250000000000000000000000000 0/1 -711830957464286887586769/12500000000000000000000000
0/1 0/1 0/1 0/1 0/1 0/1
0/1 0/1 0/1 -711830957464286887586769/12500000000000000000000000 0/1 28725117807753387989300197/250000000000000000000000000


--- Term 3 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 4

Flags :
F1 : {1}
F2 : {1, 2}
F3 : {1, 3}
F4 : {1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)
B3 : (F3)
B4 : (F4)

Matrix :
0/1 0/1 0/1 0/1
0/1 0/1 0/1 0/1
0/1 0/1 17354581316360944537609537/250000000000000000000000000 -2185750839322032732284877/62500000000000000000000000
0/1 0/1 -2185750839322032732284877/62500000000000000000000000 1354837115004925832121209/31250000000000000000000000


--- Term 4 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {0, 1}
F2 : {0, 1, 2}
F3 : {0, 1, 3}
F4 : {0, 1, 2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
75596970755254655931898373/1000000000000000000000000000 -1607079050206726536455323/250000000000000000000000000 -24372919397426421243903663/1000000000000000000000000000
-1607079050206726536455323/250000000000000000000000000 481891261610463587068403/62500000000000000000000000 -1593805189663372136499377/250000000000000000000000000
-24372919397426421243903663/1000000000000000000000000000 -1593805189663372136499377/250000000000000000000000000 17772653470085328301701389/500000000000000000000000000


--- Term 5 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {0, 1, 2}
F2 : {0, 1, 3}

Basis :
B1 : (F2)-(F1)

Matrix :
1064859/125000000


--- Term 6 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 4
Matrix dimension   : 3

Flags :
F1 : {}
F2 : {2}
F3 : {3}
F4 : {2, 3}

Basis :
B1 : (F1)
B2 : (F2)+(F3)
B3 : (F4)

Matrix :
0/1 0/1 0/1
0/1 0/1 0/1
0/1 0/1 20579213/500000000


--- Term 7 ---

Dimension of type  : 1
Dimension of flags : 2
Number of flags    : 2
Matrix dimension   : 1

Flags :
F1 : {2}
F2 : {3}

Basis :
B1 : (F2)-(F1)

Matrix :
0/1


--- Term 8 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {3}
F2  : {3, 4}
F3  : {3, 5}
F4  : {3, 4, 5}
F5  : {3, 6}
F6  : {3, 4, 6}
F7  : {3, 5, 6}
F8  : {3, 4, 5, 6}
F9  : {3, 7}
F10 : {3, 4, 7}
F11 : {3, 5, 7}
F12 : {3, 4, 5, 7}
F13 : {3, 6, 7}
F14 : {3, 4, 6, 7}
F15 : {3, 5, 6, 7}
F16 : {3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
2569253191324415449164373329/1000000000000000000000000000 1406156654316907146204142589/1000000000000000000000000000 -747527356488194438573694547/1000000000000000000000000000 207646732634379011688398677/500000000000000000000000000 -255859285510499362320696493/100000000000000000000000000 103440592062293727140241081/250000000000000000000000000 956339918724847951428518021/1000000000000000000000000000 201181562041594360759415217/250000000000000000000000000 -113386473228694509958271109/200000000000000000000000000 577749845764456926501933421/1000000000000000000000000000 -1358788904887593333817780103/500000000000000000000000000 816459511579002978880777/50000000000000000000000000
1406156654316907146204142589/1000000000000000000000000000 769591935569595792711898799/1000000000000000000000000000 -409122997359381552112913099/1000000000000000000000000000 113645410987257524382555129/500000000000000000000000000 -700161117059656665106661539/500000000000000000000000000 45290569900879353909062247/200000000000000000000000000 523406468431317450942439291/1000000000000000000000000000 440428050405504924423887461/1000000000000000000000000000 -310283051300906938489570933/1000000000000000000000000000 158101737771753174107128583/500000000000000000000000000 -1487334971024045813353318887/1000000000000000000000000000 2234248460216771951641009/250000000000000000000000000
-747527356488194438573694547/1000000000000000000000000000 -409122997359381552112913099/1000000000000000000000000000 108746999047255386935725669/500000000000000000000000000 -30207535480285642527586329/250000000000000000000000000 372212859317358454575300491/500000000000000000000000000 -60192333114943268340920867/500000000000000000000000000 -139124134189210304738195107/500000000000000000000000000 -58534021866600667022661767/250000000000000000000000000 82474832687559938956494997/500000000000000000000000000 -168097023622304898932565233/1000000000000000000000000000 790682585527435493224082289/1000000000000000000000000000 -950199310354506605992013/200000000000000000000000000
207646732634379011688398677/500000000000000000000000000 113645410987257524382555129/500000000000000000000000000 -30207535480285642527586329/250000000000000000000000000 855389510285244253315794629/1000000000000000000000000000 -103392582804130153661420531/250000000000000000000000000 31922338985205519064198279/1000000000000000000000000000 2175315726532991011345979/62500000000000000000000000 -29070687921769427899585559/500000000000000000000000000 -374833788504167213089165819/1000000000000000000000000000 -58285140044634882920640811/500000000000000000000000000 -27282649485884279258210969/62500000000000000000000000 1129710807510964870055121/50000000000000000000000000
-255859285510499362320696493/100000000000000000000000000 -700161117059656665106661539/500000000000000000000000000 372212859317358454575300491/500000000000000000000000000 -103392582804130153661420531/250000000000000000000000000 1273988375357382183711184003/500000000000000000000000000 -82409117259895053944236183/200000000000000000000000000 -476185937591774971997597069/500000000000000000000000000 -801387280731407663432988803/1000000000000000000000000000 14114501306526705305986433/25000000000000000000000000 -575352647104991737367044413/1000000000000000000000000000 541260409105825557819417047/200000000000000000000000000 -1626143967719754427690961/100000000000000000000000000
103440592062293727140241081/250000000000000000000000000 45290569900879353909062247/200000000000000000000000000 -60192333114943268340920867/500000000000000000000000000 31922338985205519064198279/1000000000000000000000000000 -82409117259895053944236183/200000000000000000000000000 105881582677881039441785773/50000000000000000000000000 -31212077499749648910124939/200000000000000000000000000 -399256215579705184919659167/1000000000000000000000000000 -94093385999775296830762101/500000000000000000000000000 -6603641852961743273372863/62500000000000000000000000 -458922992346320440016285243/1000000000000000000000000000 -36945940291053464971187693/200000000000000000000000000
956339918724847951428518021/1000000000000000000000000000 523406468431317450942439291/1000000000000000000000000000 -139124134189210304738195107/500000000000000000000000000 2175315726532991011345979/62500000000000000000000000 -476185937591774971997597069/500000000000000000000000000 -31212077499749648910124939/200000000000000000000000000 51666741671332705114364293/25000000000000000000000000 88469720304348874378944747/1000000000000000000000000000 -25150897048466120050486663/100000000000000000000000000 55631776420464248663290473/500000000000000000000000000 -34271470268134435012516251/31250000000000000000000000 -87699198059226823392140959/200000000000000000000000000
201181562041594360759415217/250000000000000000000000000 440428050405504924423887461/1000000000000000000000000000 -58534021866600667022661767/250000000000000000000000000 -29070687921769427899585559/500000000000000000000000000 -801387280731407663432988803/1000000000000000000000000000 -399256215579705184919659167/1000000000000000000000000000 88469720304348874378944747/1000000000000000000000000000 567150544698303508546973917/200000000000000000000000000 -36885595222530466828685823/200000000000000000000000000 49104648331169271940884361/500000000000000000000000000 -885834123867685941604155399/1000000000000000000000000000 -755264964449280394141469783/1000000000000000000000000000
-113386473228694509958271109/200000000000000000000000000 -310283051300906938489570933/1000000000000000000000000000 82474832687559938956494997/500000000000000000000000000 -374833788504167213089165819/1000000000000000000000000000 14114501306526705305986433/25000000000000000000000000 -94093385999775296830762101/500000000000000000000000000 -25150897048466120050486663/100000000000000000000000000 -36885595222530466828685823/200000000000000000000000000 172450570242849424825299117/200000000000000000000000000 -43630001007607413973211221/125000000000000000000000000 72542057072545235696081773/125000000000000000000000000 -162633314222291303138273377/1000000000000000000000000000
577749845764456926501933421/1000000000000000000000000000 158101737771753174107128583/500000000000000000000000000 -168097023622304898932565233/1000000000000000000000000000 -58285140044634882920640811/500000000000000000000000000 -575352647104991737367044413/1000000000000000000000000000 -6603641852961743273372863/62500000000000000000000000 55631776420464248663290473/500000000000000000000000000 49104648331169271940884361/500000000000000000000000000 -43630001007607413973211221/125000000000000000000000000 168471796705546064013346631/125000000000000000000000000 -306175203468092929645887433/500000000000000000000000000 -190180652855607827247360593/1000000000000000000000000000
-1358788904887593333817780103/500000000000000000000000000 -1487334971024045813353318887/1000000000000000000000000000 790682585527435493224082289/1000000000000000000000000000 -27282649485884279258210969/62500000000000000000000000 541260409105825557819417047/200000000000000000000000000 -458922992346320440016285243/1000000000000000000000000000 -34271470268134435012516251/31250000000000000000000000 -885834123867685941604155399/1000000000000000000000000000 72542057072545235696081773/125000000000000000000000000 -306175203468092929645887433/500000000000000000000000000 301892044904537152461165779/100000000000000000000000000 -14089264321726362216130347/500000000000000000000000000
816459511579002978880777/50000000000000000000000000 2234248460216771951641009/250000000000000000000000000 -950199310354506605992013/200000000000000000000000000 1129710807510964870055121/50000000000000000000000000 -1626143967719754427690961/100000000000000000000000000 -36945940291053464971187693/200000000000000000000000000 -87699198059226823392140959/200000000000000000000000000 -755264964449280394141469783/1000000000000000000000000000 -162633314222291303138273377/1000000000000000000000000000 -190180652855607827247360593/1000000000000000000000000000 -14089264321726362216130347/500000000000000000000000000 2471950059617719068533637611/1000000000000000000000000000


--- Term 9 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {3, 5}
F2 : {3, 4, 5}
F3 : {3, 6}
F4 : {3, 4, 6}
F5 : {3, 5, 7}
F6 : {3, 4, 5, 7}
F7 : {3, 6, 7}
F8 : {3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
4813881896697454687057903903/1000000000000000000000000000 -474319107411236477667299521/1000000000000000000000000000 497560292627570355388783897/250000000000000000000000000 -14487037427133317624192341/12500000000000000000000000
-474319107411236477667299521/1000000000000000000000000000 1782374684995832319963444809/1000000000000000000000000000 -58367075033485911954981619/500000000000000000000000000 21893306899116578054834167/62500000000000000000000000
497560292627570355388783897/250000000000000000000000000 -58367075033485911954981619/500000000000000000000000000 2065464904072945150023428661/1000000000000000000000000000 -369045040679022867914748133/1000000000000000000000000000
-14487037427133317624192341/12500000000000000000000000 21893306899116578054834167/62500000000000000000000000 -369045040679022867914748133/1000000000000000000000000000 1771623635749326381169832249/500000000000000000000000000


--- Term 10 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 10

Flags :
F1  : {2, 3}
F2  : {2, 3, 4}
F3  : {2, 3, 5}
F4  : {2, 3, 4, 5}
F5  : {2, 3, 6}
F6  : {2, 3, 4, 6}
F7  : {2, 3, 5, 6}
F8  : {2, 3, 4, 5, 6}
F9  : {2, 3, 7}
F10 : {2, 3, 4, 7}
F11 : {2, 3, 5, 7}
F12 : {2, 3, 4, 5, 7}
F13 : {2, 3, 6, 7}
F14 : {2, 3, 4, 6, 7}
F15 : {2, 3, 5, 6, 7}
F16 : {2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)+(F3)
B3  : (F4)
B4  : (F5)+(F9)
B5  : (F6)+(F11)
B6  : (F7)+(F10)
B7  : (F8)+(F12)
B8  : (F13)
B9  : (F14)+(F15)
B10 : (F16)

Matrix :
517718448268229728829838029/250000000000000000000000000 71927934609118386425559949/500000000000000000000000000 -31892192845533824722794713/1000000000000000000000000000 -3182180957241880912758917/250000000000000000000000000 -47730027098046155083025317/500000000000000000000000000 -13423713367274117842257869/500000000000000000000000000 -8236742545536555099202009/50000000000000000000000000 -55483893858136928866989749/250000000000000000000000000 -142092002654668526219276801/500000000000000000000000000 -38107404762033809803581613/40000000000000000000000000
71927934609118386425559949/500000000000000000000000000 6966727402913696565846679/6250000000000000000000000 48808745970831834984431449/1000000000000000000000000000 -84164621789514397530571937/500000000000000000000000000 -47039919626261655828775041/250000000000000000000000000 -65136896023229710762854407/500000000000000000000000000 -3465914861279034981428059/50000000000000000000000000 -53240973921005253448542203/250000000000000000000000000 -36240522320125122775698649/125000000000000000000000000 -235816017500247365864311357/1000000000000000000000000000
-31892192845533824722794713/1000000000000000000000000000 48808745970831834984431449/1000000000000000000000000000 1531371716992048571288038237/1000000000000000000000000000 -158897795455194174961343381/500000000000000000000000000 -34666874651465010862403163/500000000000000000000000000 -51681453958014475845146143/500000000000000000000000000 200414225769591139850828543/1000000000000000000000000000 -154912841356648594291776163/250000000000000000000000000 -10460839904022422301248981/40000000000000000000000000 -151809036883188668626885637/1000000000000000000000000000
-3182180957241880912758917/250000000000000000000000000 -84164621789514397530571937/500000000000000000000000000 -158897795455194174961343381/500000000000000000000000000 94826820143753997998592377/125000000000000000000000000 -22392698712699062492605199/250000000000000000000000000 3983987672064773576562471/500000000000000000000000000 -166779444175366384638363831/500000000000000000000000000 37017386227510069691009151/250000000000000000000000000 8636757401807445224605821/500000000000000000000000000 -70780566164587772244165411/500000000000000000000000000
-47730027098046155083025317/500000000000000000000000000 -47039919626261655828775041/250000000000000000000000000 -34666874651465010862403163/500000000000000000000000000 -22392698712699062492605199/250000000000000000000000000 25724062742288040785936971/20000000000000000000000000 -5598317931058340237819551/62500000000000000000000000 -58834308454406195242340211/500000000000000000000000000 -42001333382269651764023871/500000000000000000000000000 -9747455798754437889768203/62500000000000000000000000 -14114054947037499479999743/500000000000000000000000000
-13423713367274117842257869/500000000000000000000000000 -65136896023229710762854407/500000000000000000000000000 -51681453958014475845146143/500000000000000000000000000 3983987672064773576562471/500000000000000000000000000 -5598317931058340237819551/62500000000000000000000000 357067743629039059408476457/500000000000000000000000000 -103295773353708141304202131/500000000000000000000000000 14158207484695392875379553/500000000000000000000000000 -52021145211712040522816969/500000000000000000000000000 -5708648122780576237699157/50000000000000000000000000
-8236742545536555099202009/50000000000000000000000000 -3465914861279034981428059/50000000000000000000000000 200414225769591139850828543/1000000000000000000000000000 -166779444175366384638363831/500000000000000000000000000 -58834308454406195242340211/500000000000000000000000000 -103295773353708141304202131/500000000000000000000000000 513734612474264075804245149/500000000000000000000000000 -19044568454199014012185283/100000000000000000000000000 -20668178350370849994239111/125000000000000000000000000 88636233264351772711623377/1000000000000000000000000000
-55483893858136928866989749/250000000000000000000000000 -53240973921005253448542203/250000000000000000000000000 -154912841356648594291776163/250000000000000000000000000 37017386227510069691009151/250000000000000000000000000 -42001333382269651764023871/500000000000000000000000000 14158207484695392875379553/500000000000000000000000000 -19044568454199014012185283/100000000000000000000000000 116822603126849364861486177/100000000000000000000000000 30100697889411011735464539/250000000000000000000000000 -16246092109273755727801367/125000000000000000000000000
-142092002654668526219276801/500000000000000000000000000 -36240522320125122775698649/125000000000000000000000000 -10460839904022422301248981/40000000000000000000000000 8636757401807445224605821/500000000000000000000000000 -9747455798754437889768203/62500000000000000000000000 -52021145211712040522816969/500000000000000000000000000 -20668178350370849994239111/125000000000000000000000000 30100697889411011735464539/250000000000000000000000000 261998701472149829755590839/250000000000000000000000000 9665008462642567957758477/200000000000000000000000000
-38107404762033809803581613/40000000000000000000000000 -235816017500247365864311357/1000000000000000000000000000 -151809036883188668626885637/1000000000000000000000000000 -70780566164587772244165411/500000000000000000000000000 -14114054947037499479999743/500000000000000000000000000 -5708648122780576237699157/50000000000000000000000000 88636233264351772711623377/1000000000000000000000000000 -16246092109273755727801367/125000000000000000000000000 9665008462642567957758477/200000000000000000000000000 2306986091559127937776770513/1000000000000000000000000000


--- Term 11 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 6

Flags :
F1  : {2, 3, 4}
F2  : {2, 3, 5}
F3  : {2, 3, 6}
F4  : {2, 3, 4, 6}
F5  : {2, 3, 5, 6}
F6  : {2, 3, 4, 5, 6}
F7  : {2, 3, 7}
F8  : {2, 3, 4, 7}
F9  : {2, 3, 5, 7}
F10 : {2, 3, 4, 5, 7}
F11 : {2, 3, 4, 6, 7}
F12 : {2, 3, 5, 6, 7}

Basis :
B1 : (F2)-(F1)
B2 : (F7)-(F3)
B3 : (F9)-(F4)
B4 : (F8)-(F5)
B5 : (F10)-(F6)
B6 : (F12)-(F11)

Matrix :
863399171696021910921571209/500000000000000000000000000 -109537446994553879470509027/1000000000000000000000000000 57947395404687466101151757/500000000000000000000000000 -169329718984833697444909943/500000000000000000000000000 -9080828000099726300493237/500000000000000000000000000 40467015666756612286709929/100000000000000000000000000
-109537446994553879470509027/1000000000000000000000000000 30703533396262030466481127/31250000000000000000000000 102313028458122378388640869/1000000000000000000000000000 16043684137744188257515129/100000000000000000000000000 -56875256462188650965168119/500000000000000000000000000 -108978189876714659257784967/1000000000000000000000000000
57947395404687466101151757/500000000000000000000000000 102313028458122378388640869/1000000000000000000000000000 2478992951130511113578507677/1000000000000000000000000000 -158804116257980377180322299/1000000000000000000000000000 20086285026610035208754339/250000000000000000000000000 62212134241710430188086651/250000000000000000000000000
-169329718984833697444909943/500000000000000000000000000 16043684137744188257515129/100000000000000000000000000 -158804116257980377180322299/1000000000000000000000000000 1746742364220080484760176619/1000000000000000000000000000 -51299386573578719563291817/500000000000000000000000000 -94823350209758310151429587/250000000000000000000000000
-9080828000099726300493237/500000000000000000000000000 -56875256462188650965168119/500000000000000000000000000 20086285026610035208754339/250000000000000000000000000 -51299386573578719563291817/500000000000000000000000000 556445498917886617334640379/500000000000000000000000000 4218020039109484419097659/62500000000000000000000000
40467015666756612286709929/100000000000000000000000000 -108978189876714659257784967/1000000000000000000000000000 62212134241710430188086651/250000000000000000000000000 -94823350209758310151429587/250000000000000000000000000 4218020039109484419097659/62500000000000000000000000 50664132481412763692855723/25000000000000000000000000


--- Term 12 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 9

Flags :
F1  : {1, 2}
F2  : {1, 2, 4}
F3  : {1, 2, 5}
F4  : {1, 2, 4, 5}
F5  : {1, 2, 6}
F6  : {1, 2, 4, 6}
F7  : {1, 2, 5, 6}
F8  : {1, 2, 4, 5, 6}
F9  : {1, 2, 7}
F10 : {1, 2, 4, 7}
F11 : {1, 2, 5, 7}
F12 : {1, 2, 4, 5, 7}
F13 : {1, 2, 6, 7}
F14 : {1, 2, 4, 6, 7}
F15 : {1, 2, 5, 6, 7}
F16 : {1, 2, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F9)
B3 : (F3)+(F5)
B4 : (F4)+(F6)+(F11)+(F13)
B5 : (F7)
B6 : (F8)+(F15)
B7 : (F10)
B8 : (F12)+(F14)
B9 : (F16)

Matrix :
12568824315523943506801261/50000000000000000000000000 -899807912678249634224567/125000000000000000000000000 126822376681919071147274403/500000000000000000000000000 16385175972795370906723923/250000000000000000000000000 279939006210975318417757547/1000000000000000000000000000 16101843938803529152763939/125000000000000000000000000 -394640785066465740915994901/1000000000000000000000000000 -216284569152365460027932217/1000000000000000000000000000 -15512230042150788072167357/62500000000000000000000000
-899807912678249634224567/125000000000000000000000000 206136519220719742799051/1000000000000000000000000000 -3631708833098324882665643/500000000000000000000000000 -938417885833897597277873/500000000000000000000000000 -1603276914714666268719849/200000000000000000000000000 -1844381350492411135425729/500000000000000000000000000 2825251528337235387681547/250000000000000000000000000 6193564435568831544355099/1000000000000000000000000000 1776844346397195103404363/250000000000000000000000000
126822376681919071147274403/500000000000000000000000000 -3631708833098324882665643/500000000000000000000000000 889788449149598245284062983/1000000000000000000000000000 -543841629443946982360959/40000000000000000000000000 20273905009104469745764477/100000000000000000000000000 113899603999133801766330059/1000000000000000000000000000 -199100890579183666306997371/500000000000000000000000000 -165881776892789816110275331/500000000000000000000000000 -288437234844170691860131021/1000000000000000000000000000
16385175972795370906723923/250000000000000000000000000 -938417885833897597277873/500000000000000000000000000 -543841629443946982360959/40000000000000000000000000 79331985137597197728719/390625000000000000000000 12319115345686204981446119/250000000000000000000000000 -55375490979062851843405643/1000000000000000000000000000 -102893612866752075992249321/1000000000000000000000000000 -88529038078392384116388289/1000000000000000000000000000 -74864342006292626372090963/1000000000000000000000000000
279939006210975318417757547/1000000000000000000000000000 -1603276914714666268719849/200000000000000000000000000 20273905009104469745764477/100000000000000000000000000 12319115345686204981446119/250000000000000000000000000 572464891452345197069559531/500000000000000000000000000 1583117326060842110016773/40000000000000000000000000 -87896326859366680876105697/200000000000000000000000000 -301176011944254614457460893/1000000000000000000000000000 -456180303119575647103489107/1000000000000000000000000000
16101843938803529152763939/125000000000000000000000000 -1844381350492411135425729/500000000000000000000000000 113899603999133801766330059/1000000000000000000000000000 -55375490979062851843405643/1000000000000000000000000000 1583117326060842110016773/40000000000000000000000000 684790917967287599200206459/1000000000000000000000000000 -202228758297268713141943753/1000000000000000000000000000 -137138699492513422396033179/1000000000000000000000000000 -236660747945313368226115289/1000000000000000000000000000
-394640785066465740915994901/1000000000000000000000000000 2825251528337235387681547/250000000000000000000000000 -199100890579183666306997371/500000000000000000000000000 -102893612866752075992249321/1000000000000000000000000000 -87896326859366680876105697/200000000000000000000000000 -202228758297268713141943753/1000000000000000000000000000 30977708282054259529449273/50000000000000000000000000 339549309001628963985142631/1000000000000000000000000000 389647176074549299309738573/1000000000000000000000000000
-216284569152365460027932217/1000000000000000000000000000 6193564435568831544355099/1000000000000000000000000000 -165881776892789816110275331/500000000000000000000000000 -88529038078392384116388289/1000000000000000000000000000 -301176011944254614457460893/1000000000000000000000000000 -137138699492513422396033179/1000000000000000000000000000 339549309001628963985142631/1000000000000000000000000000 408224544986001893395728009/1000000000000000000000000000 147480701945282243979850293/1000000000000000000000000000
-15512230042150788072167357/62500000000000000000000000 1776844346397195103404363/250000000000000000000000000 -288437234844170691860131021/1000000000000000000000000000 -74864342006292626372090963/1000000000000000000000000000 -456180303119575647103489107/1000000000000000000000000000 -236660747945313368226115289/1000000000000000000000000000 389647176074549299309738573/1000000000000000000000000000 147480701945282243979850293/1000000000000000000000000000 1039788971741995277681728083/1000000000000000000000000000


--- Term 13 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 12
Matrix dimension   : 7

Flags :
F1  : {1, 2, 4}
F2  : {1, 2, 5}
F3  : {1, 2, 4, 5}
F4  : {1, 2, 6}
F5  : {1, 2, 4, 6}
F6  : {1, 2, 4, 5, 6}
F7  : {1, 2, 7}
F8  : {1, 2, 5, 7}
F9  : {1, 2, 4, 5, 7}
F10 : {1, 2, 6, 7}
F11 : {1, 2, 4, 6, 7}
F12 : {1, 2, 5, 6, 7}

Basis :
B1 : (F7)-(F1)
B2 : (F4)-(F2)
B3 : (F5)-(F3)
B4 : (F8)-(F3)
B5 : (F10)-(F3)
B6 : (F12)-(F6)
B7 : (F11)-(F9)

Matrix :
35086177754751857361297097/1000000000000000000000000000 1079378191080111181/1000000000000000000000000000 -19200442521419631262119939/1000000000000000000000000000 9600221468757312756080201/500000000000000000000000000 19200443597577862440409279/1000000000000000000000000000 894886294194414017380623/62500000000000000000000000 -24958484940238761/1000000000000000000000000000
1079378191080111181/1000000000000000000000000000 161024931795235786127914481/125000000000000000000000000 -46063078058309435075733959/1000000000000000000000000000 719735590701785526170549/15625000000000000000000000 -46063078591301329332669221/1000000000000000000000000000 245884373604669167/1000000000000000000000000000 -88509337751239081871824897/1000000000000000000000000000
-19200442521419631262119939/1000000000000000000000000000 -46063078058309435075733959/1000000000000000000000000000 343419732978962827410749591/200000000000000000000000000 -263308957458313450833928269/500000000000000000000000000 -573571928207725768697853359/1000000000000000000000000000 1296598366736907391825877/50000000000000000000000000 37047478265792260341025543/1000000000000000000000000000
9600221468757312756080201/500000000000000000000000000 719735590701785526170549/15625000000000000000000000 -263308957458313450833928269/500000000000000000000000000 343419732765636627961219203/200000000000000000000000000 -616908821836950503930063551/1000000000000000000000000000 -25931967003654853830127447/1000000000000000000000000000 -1157733660011713634816303/31250000000000000000000000
19200443597577862440409279/1000000000000000000000000000 -46063078591301329332669221/1000000000000000000000000000 -573571928207725768697853359/1000000000000000000000000000 -616908821836950503930063551/1000000000000000000000000000 214637332750294797866777879/125000000000000000000000000 -25931967835026761472448981/1000000000000000000000000000 37047476619054796530876773/1000000000000000000000000000
894886294194414017380623/62500000000000000000000000 245884373604669167/1000000000000000000000000000 1296598366736907391825877/50000000000000000000000000 -25931967003654853830127447/1000000000000000000000000000 -25931967835026761472448981/1000000000000000000000000000 666542898241803868617323617/500000000000000000000000000 141025333632839157/500000000000000000000000000
-24958484940238761/1000000000000000000000000000 -88509337751239081871824897/1000000000000000000000000000 37047478265792260341025543/1000000000000000000000000000 -1157733660011713634816303/31250000000000000000000000 37047476619054796530876773/1000000000000000000000000000 141025333632839157/500000000000000000000000000 491457612461166349599387219/1000000000000000000000000000


--- Term 14 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 12

Flags :
F1  : {1, 2, 3}
F2  : {1, 2, 3, 4}
F3  : {1, 2, 3, 5}
F4  : {1, 2, 3, 4, 5}
F5  : {1, 2, 3, 6}
F6  : {1, 2, 3, 4, 6}
F7  : {1, 2, 3, 5, 6}
F8  : {1, 2, 3, 4, 5, 6}
F9  : {1, 2, 3, 7}
F10 : {1, 2, 3, 4, 7}
F11 : {1, 2, 3, 5, 7}
F12 : {1, 2, 3, 4, 5, 7}
F13 : {1, 2, 3, 6, 7}
F14 : {1, 2, 3, 4, 6, 7}
F15 : {1, 2, 3, 5, 6, 7}
F16 : {1, 2, 3, 4, 5, 6, 7}

Basis :
B1  : (F1)
B2  : (F2)
B3  : (F3)+(F5)
B4  : (F4)+(F6)
B5  : (F7)
B6  : (F8)
B7  : (F9)
B8  : (F10)
B9  : (F11)+(F13)
B10 : (F12)+(F14)
B11 : (F15)
B12 : (F16)

Matrix :
1858379223596200283949426621/1000000000000000000000000000 -82025309612270424880403039/500000000000000000000000000 -2319901853331502881280109/15625000000000000000000000 -24613188292440565537290691/500000000000000000000000000 -66520871082412379647103489/250000000000000000000000000 -42344935681282757986145537/200000000000000000000000000 -2043178277688314501488531/125000000000000000000000000 -7845069704600151019092629/1000000000000000000000000000 -21827760681458481650737687/500000000000000000000000000 1243676809653327043524647/40000000000000000000000000 -228609335401629642908669693/1000000000000000000000000000 -148940913285737712154834929/1000000000000000000000000000
-82025309612270424880403039/500000000000000000000000000 137171434856937021786508567/50000000000000000000000000 -312585412261982475105397603/1000000000000000000000000000 -4190093525007762896197981/500000000000000000000000000 -83774380039450679466484597/250000000000000000000000000 -165615514310309853128870143/500000000000000000000000000 -9287402809230607070364333/1000000000000000000000000000 739862316524113876854481/100000000000000000000000000 -4193848606466825097983753/50000000000000000000000000 9629228819746510338641971/250000000000000000000000000 -280227371498300515830854257/1000000000000000000000000000 -248226639627576160057348547/1000000000000000000000000000
-2319901853331502881280109/15625000000000000000000000 -312585412261982475105397603/1000000000000000000000000000 74214668641966322654018177/50000000000000000000000000 -180041918830611849109361273/1000000000000000000000000000 72736825858107576435926627/1000000000000000000000000000 5305365722349432237138991/500000000000000000000000000 231244966712020251734132397/1000000000000000000000000000 -126862849024943369491247109/500000000000000000000000000 -26309501675164368633706837/500000000000000000000000000 -226487068692968680430671807/500000000000000000000000000 -949628767463397208005961/100000000000000000000000000 -5460902031644817200412001/62500000000000000000000000
-24613188292440565537290691/500000000000000000000000000 -4190093525007762896197981/500000000000000000000000000 -180041918830611849109361273/1000000000000000000000000000 855636164259512387300144021/1000000000000000000000000000 -126227008392299065758696597/1000000000000000000000000000 -14846387179281942168914437/500000000000000000000000000 8491060523664607566332877/500000000000000000000000000 -8395602888131826774468723/200000000000000000000000000 -239423020890753591760138777/1000000000000000000000000000 -104320023986512810760246809/1000000000000000000000000000 -4764754471264750532551099/62500000000000000000000000 -174276650146820345118449/1000000000000000000000000000
-66520871082412379647103489/250000000000000000000000000 -83774380039450679466484597/250000000000000000000000000 72736825858107576435926627/1000000000000000000000000000 -126227008392299065758696597/1000000000000000000000000000 1900040509782486741878057033/1000000000000000000000000000 -42834002499289856239720993/200000000000000000000000000 63721708233967936748703331/500000000000000000000000000 -39704408198907873162277001/250000000000000000000000000 807751378787236531941123/8000000000000000000000000 -17307462878288980330846671/100000000000000000000000000 -3425286830111611218371043/50000000000000000000000000 -166066538766687061872308311/1000000000000000000000000000
-42344935681282757986145537/200000000000000000000000000 -165615514310309853128870143/500000000000000000000000000 5305365722349432237138991/500000000000000000000000000 -14846387179281942168914437/500000000000000000000000000 -42834002499289856239720993/200000000000000000000000000 340029097560639830371880037/500000000000000000000000000 -25744740504282724190331929/1000000000000000000000000000 795413963174968250146881/1000000000000000000000000000 -51316157191901144000097839/1000000000000000000000000000 -93637783825686259053/250000000000000000000000000 -136431580345115695123909253/1000000000000000000000000000 26806064141070648061101537/1000000000000000000000000000
-2043178277688314501488531/125000000000000000000000000 -9287402809230607070364333/1000000000000000000000000000 231244966712020251734132397/1000000000000000000000000000 8491060523664607566332877/500000000000000000000000000 63721708233967936748703331/500000000000000000000000000 -25744740504282724190331929/1000000000000000000000000000 269292674950544293194702469/1000000000000000000000000000 -154568706794778957650188039/500000000000000000000000000 36698052219038770045666553/200000000000000000000000000 -47473105891701985409022729/125000000000000000000000000 1056196396276323488682683/7812500000000000000000000 -124052486274702291613899941/1000000000000000000000000000
-7845069704600151019092629/1000000000000000000000000000 739862316524113876854481/100000000000000000000000000 -126862849024943369491247109/500000000000000000000000000 -8395602888131826774468723/200000000000000000000000000 -39704408198907873162277001/250000000000000000000000000 795413963174968250146881/1000000000000000000000000000 -154568706794778957650188039/500000000000000000000000000 579117396599565615080365491/1000000000000000000000000000 -47710603272353040836310141/250000000000000000000000000 206997560919360037677196067/500000000000000000000000000 -24589024772043281563791589/125000000000000000000000000 38190652229480752111854531/1000000000000000000000000000
-21827760681458481650737687/500000000000000000000000000 -4193848606466825097983753/50000000000000000000000000 -26309501675164368633706837/500000000000000000000000000 -239423020890753591760138777/1000000000000000000000000000 807751378787236531941123/8000000000000000000000000 -51316157191901144000097839/1000000000000000000000000000 36698052219038770045666553/200000000000000000000000000 -47710603272353040836310141/250000000000000000000000000 920912822485014253831460033/1000000000000000000000000000 -78707758289371541243562459/250000000000000000000000000 29893374691218027240590011/1000000000000000000000000000 -9469792649040599837221399/50000000000000000000000000
1243676809653327043524647/40000000000000000000000000 9629228819746510338641971/250000000000000000000000000 -226487068692968680430671807/500000000000000000000000000 -104320023986512810760246809/1000000000000000000000000000 -17307462878288980330846671/100000000000000000000000000 -93637783825686259053/250000000000000000000000000 -47473105891701985409022729/125000000000000000000000000 206997560919360037677196067/500000000000000000000000000 -78707758289371541243562459/250000000000000000000000000 797027046363369436822775303/1000000000000000000000000000 -52920235788539346951416701/250000000000000000000000000 25624569170367573559604487/200000000000000000000000000
-228609335401629642908669693/1000000000000000000000000000 -280227371498300515830854257/1000000000000000000000000000 -949628767463397208005961/100000000000000000000000000 -4764754471264750532551099/62500000000000000000000000 -3425286830111611218371043/50000000000000000000000000 -136431580345115695123909253/1000000000000000000000000000 1056196396276323488682683/7812500000000000000000000 -24589024772043281563791589/125000000000000000000000000 29893374691218027240590011/1000000000000000000000000000 -52920235788539346951416701/250000000000000000000000000 64161003045639805529089833/31250000000000000000000000 -271869636497555725871106171/1000000000000000000000000000
-148940913285737712154834929/1000000000000000000000000000 -248226639627576160057348547/1000000000000000000000000000 -5460902031644817200412001/62500000000000000000000000 -174276650146820345118449/1000000000000000000000000000 -166066538766687061872308311/1000000000000000000000000000 26806064141070648061101537/1000000000000000000000000000 -124052486274702291613899941/1000000000000000000000000000 38190652229480752111854531/1000000000000000000000000000 -9469792649040599837221399/50000000000000000000000000 25624569170367573559604487/200000000000000000000000000 -271869636497555725871106171/1000000000000000000000000000 892219442868056762899889883/1000000000000000000000000000


--- Term 15 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 8
Matrix dimension   : 4

Flags :
F1 : {1, 2, 3, 5}
F2 : {1, 2, 3, 4, 5}
F3 : {1, 2, 3, 6}
F4 : {1, 2, 3, 4, 6}
F5 : {1, 2, 3, 5, 7}
F6 : {1, 2, 3, 4, 5, 7}
F7 : {1, 2, 3, 6, 7}
F8 : {1, 2, 3, 4, 6, 7}

Basis :
B1 : (F3)-(F1)
B2 : (F4)-(F2)
B3 : (F7)-(F5)
B4 : (F8)-(F6)

Matrix :
165007187536904304829908871/50000000000000000000000000 1711778861506923872293229/7812500000000000000000000 29345904437131616552980729/1000000000000000000000000000 -51108111075292651174954609/250000000000000000000000000
1711778861506923872293229/7812500000000000000000000 507269552678785828255920873/250000000000000000000000000 138531682032895363776844279/1000000000000000000000000000 41602687362437275353264329/250000000000000000000000000
29345904437131616552980729/1000000000000000000000000000 138531682032895363776844279/1000000000000000000000000000 1929333345697776881456177023/1000000000000000000000000000 49423146757019106105024783/250000000000000000000000000
-51108111075292651174954609/250000000000000000000000000 41602687362437275353264329/250000000000000000000000000 49423146757019106105024783/250000000000000000000000000 48405629297330783676758499/62500000000000000000000000


--- Term 16 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {0, 1, 2, 3}
F2  : {0, 1, 2, 3, 4}
F3  : {0, 1, 2, 3, 5}
F4  : {0, 1, 2, 3, 4, 5}
F5  : {0, 1, 2, 3, 6}
F6  : {0, 1, 2, 3, 4, 6}
F7  : {0, 1, 2, 3, 5, 6}
F8  : {0, 1, 2, 3, 4, 5, 6}
F9  : {0, 1, 2, 3, 7}
F10 : {0, 1, 2, 3, 4, 7}
F11 : {0, 1, 2, 3, 5, 7}
F12 : {0, 1, 2, 3, 4, 5, 7}
F13 : {0, 1, 2, 3, 6, 7}
F14 : {0, 1, 2, 3, 4, 6, 7}
F15 : {0, 1, 2, 3, 5, 6, 7}
F16 : {0, 1, 2, 3, 4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
94169333063369675344910921/125000000000000000000000000 -24167031258471380915813991/500000000000000000000000000 -26521521157414686203295877/1000000000000000000000000000 -28914248536442588335642929/1000000000000000000000000000 -11192671453082391981739043/500000000000000000000000000 -71859156905096851964520939/1000000000000000000000000000
-24167031258471380915813991/500000000000000000000000000 141913529951438825403378041/500000000000000000000000000 -53191527080977987623835559/1000000000000000000000000000 -15049911125554958939834099/1000000000000000000000000000 -10614615250452492608938689/250000000000000000000000000 -25102829859055310736638203/1000000000000000000000000000
-26521521157414686203295877/1000000000000000000000000000 -53191527080977987623835559/1000000000000000000000000000 150063002328306675700232531/1000000000000000000000000000 285730004392650225233771/200000000000000000000000000 -9176809773394905351994423/500000000000000000000000000 -13637558091443237886158677/1000000000000000000000000000
-28914248536442588335642929/1000000000000000000000000000 -15049911125554958939834099/1000000000000000000000000000 285730004392650225233771/200000000000000000000000000 4285581436999641629244679/40000000000000000000000000 -5108245003390244353107831/500000000000000000000000000 -17913181517486209330212793/1000000000000000000000000000
-11192671453082391981739043/500000000000000000000000000 -10614615250452492608938689/250000000000000000000000000 -9176809773394905351994423/500000000000000000000000000 -5108245003390244353107831/500000000000000000000000000 31889761548729191862311201/500000000000000000000000000 -715597122619461516851679/125000000000000000000000000
-71859156905096851964520939/1000000000000000000000000000 -25102829859055310736638203/1000000000000000000000000000 -13637558091443237886158677/1000000000000000000000000000 -17913181517486209330212793/1000000000000000000000000000 -715597122619461516851679/125000000000000000000000000 107888280083120443279682521/1000000000000000000000000000


--- Term 17 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {0, 1, 2, 3, 4}
F2  : {0, 1, 2, 3, 5}
F3  : {0, 1, 2, 3, 4, 5}
F4  : {0, 1, 2, 3, 6}
F5  : {0, 1, 2, 3, 4, 6}
F6  : {0, 1, 2, 3, 5, 6}
F7  : {0, 1, 2, 3, 4, 5, 6}
F8  : {0, 1, 2, 3, 7}
F9  : {0, 1, 2, 3, 4, 7}
F10 : {0, 1, 2, 3, 5, 7}
F11 : {0, 1, 2, 3, 4, 5, 7}
F12 : {0, 1, 2, 3, 6, 7}
F13 : {0, 1, 2, 3, 4, 6, 7}
F14 : {0, 1, 2, 3, 5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
393020270958352817654264719/250000000000000000000000000 -792936224482566725715113083/1000000000000000000000000000 -389572431751072207317487389/1000000000000000000000000000 -37152314195626868605941127/1000000000000000000000000000 37152315043095287309108509/1000000000000000000000000000 -18576157486888009903130547/500000000000000000000000000 7137356082946436649261069/1000000000000000000000000000 -53157788505673273758728471/1000000000000000000000000000 -12407604025475536114209413/500000000000000000000000000 38986499245950421580732971/1000000000000000000000000000
-792936224482566725715113083/1000000000000000000000000000 1572081085443585932985021533/1000000000000000000000000000 -97393107337194904728417767/250000000000000000000000000 37152314040108575841805133/1000000000000000000000000000 -37152314185423159379038907/1000000000000000000000000000 18576157404040982184877639/500000000000000000000000000 57098824254252021277759/8000000000000000000000000 -24815208650809898215585279/1000000000000000000000000000 -5315778831259328994344909/100000000000000000000000000 3898649792708755542228851/100000000000000000000000000
-389572431751072207317487389/1000000000000000000000000000 -97393107337194904728417767/250000000000000000000000000 4912753396121066661130069/3125000000000000000000000 -18576157273639774998482613/500000000000000000000000000 1857615686523908043576229/50000000000000000000000000 9288078464738147482535533/250000000000000000000000000 -1784338499160363553109011/250000000000000000000000000 2436656149739944833366347/62500000000000000000000000 38986498526958991146870587/1000000000000000000000000000 -53157788425659095754309543/1000000000000000000000000000
-37152314195626868605941127/1000000000000000000000000000 37152314040108575841805133/1000000000000000000000000000 -18576157273639774998482613/500000000000000000000000000 1168285967417197227299839713/1000000000000000000000000000 -527459297234079846359573391/1000000000000000000000000000 -80103334063880581293647389/250000000000000000000000000 341405150858468429/1000000000000000000000000000 -1900739787566824412339341/1000000000000000000000000000 475184600746300280246759/250000000000000000000000000 -950369463788244292746251/500000000000000000000000000
37152315043095287309108509/1000000000000000000000000000 -37152314185423159379038907/1000000000000000000000000000 1857615686523908043576229/50000000000000000000000000 -527459297234079846359573391/1000000000000000000000000000 1168285968004041323177851101/1000000000000000000000000000 -160206667520940712446936747/500000000000000000000000000 108766105828474399/200000000000000000000000000 1900739939842760436872121/1000000000000000000000000000 -950369630725661540943999/500000000000000000000000000 950369621840109667752271/500000000000000000000000000
-18576157486888009903130547/500000000000000000000000000 18576157404040982184877639/500000000000000000000000000 9288078464738147482535533/250000000000000000000000000 -80103334063880581293647389/250000000000000000000000000 -160206667520940712446936747/500000000000000000000000000 584142983858712362189555899/500000000000000000000000000 -258469098118718049/250000000000000000000000000 -190073945403146326482387/100000000000000000000000000 95037038378236288294793/50000000000000000000000000 118796216583715673540769/62500000000000000000000000
7137356082946436649261069/1000000000000000000000000000 57098824254252021277759/8000000000000000000000000 -1784338499160363553109011/250000000000000000000000000 341405150858468429/1000000000000000000000000000 108766105828474399/200000000000000000000000000 -258469098118718049/250000000000000000000000000 120294899546073617048883531/1000000000000000000000000000 -7377714580852009153996089/1000000000000000000000000000 -1844428604545711094206057/250000000000000000000000000 461107160853331265882467/62500000000000000000000000
-53157788505673273758728471/1000000000000000000000000000 -24815208650809898215585279/1000000000000000000000000000 2436656149739944833366347/62500000000000000000000000 -1900739787566824412339341/1000000000000000000000000000 1900739939842760436872121/1000000000000000000000000000 -190073945403146326482387/100000000000000000000000000 -7377714580852009153996089/1000000000000000000000000000 295491737903708744526517877/1000000000000000000000000000 -74832579951152289302126269/500000000000000000000000000 -36456644620230501395054391/500000000000000000000000000
-12407604025475536114209413/500000000000000000000000000 -5315778831259328994344909/100000000000000000000000000 38986498526958991146870587/1000000000000000000000000000 475184600746300280246759/250000000000000000000000000 -950369630725661540943999/500000000000000000000000000 95037038378236288294793/50000000000000000000000000 -1844428604545711094206057/250000000000000000000000000 -74832579951152289302126269/500000000000000000000000000 295491737678779681567281977/1000000000000000000000000000 -9114161111801416940676987/125000000000000000000000000
38986499245950421580732971/1000000000000000000000000000 3898649792708755542228851/100000000000000000000000000 -53157788425659095754309543/1000000000000000000000000000 -950369463788244292746251/500000000000000000000000000 950369621840109667752271/500000000000000000000000000 118796216583715673540769/62500000000000000000000000 461107160853331265882467/62500000000000000000000000 -36456644620230501395054391/500000000000000000000000000 -9114161111801416940676987/125000000000000000000000000 295491737263719745236482963/1000000000000000000000000000


--- Term 18 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 16
Matrix dimension   : 6

Flags :
F1  : {}
F2  : {4}
F3  : {5}
F4  : {4, 5}
F5  : {6}
F6  : {4, 6}
F7  : {5, 6}
F8  : {4, 5, 6}
F9  : {7}
F10 : {4, 7}
F11 : {5, 7}
F12 : {4, 5, 7}
F13 : {6, 7}
F14 : {4, 6, 7}
F15 : {5, 6, 7}
F16 : {4, 5, 6, 7}

Basis :
B1 : (F1)
B2 : (F2)+(F3)+(F5)+(F9)
B3 : (F4)+(F6)+(F11)+(F13)
B4 : (F7)+(F10)
B5 : (F8)+(F12)+(F14)+(F15)
B6 : (F16)

Matrix :
267731311386473926033278561/1000000000000000000000000000 6581274437252042866286403/40000000000000000000000000 -4641757308551423867298027/200000000000000000000000000 -1079259216392186123330747857/1000000000000000000000000000 -5786579225721643838178149/1000000000000000000000000000 174571566257331369492281857/1000000000000000000000000000
6581274437252042866286403/40000000000000000000000000 50555785054292754174468203/500000000000000000000000000 -7131375145546797245118719/500000000000000000000000000 -331624505144143727106370159/500000000000000000000000000 -3556090095424631071396221/1000000000000000000000000000 10728138065390546933951297/100000000000000000000000000
-4641757308551423867298027/200000000000000000000000000 -7131375145546797245118719/500000000000000000000000000 65004936356846283323579591/500000000000000000000000000 46778795722099998640665119/500000000000000000000000000 -10840047809770898220064843/200000000000000000000000000 -30943206619714434633127253/500000000000000000000000000
-1079259216392186123330747857/1000000000000000000000000000 -331624505144143727106370159/500000000000000000000000000 46778795722099998640665119/500000000000000000000000000 2175316084875238479283520739/500000000000000000000000000 23326442674685897325014167/1000000000000000000000000000 -351860173363148947133421669/500000000000000000000000000
-5786579225721643838178149/1000000000000000000000000000 -3556090095424631071396221/1000000000000000000000000000 -10840047809770898220064843/200000000000000000000000000 23326442674685897325014167/1000000000000000000000000000 37750058296321776291003649/200000000000000000000000000 -81792617999047693649166367/1000000000000000000000000000
174571566257331369492281857/1000000000000000000000000000 10728138065390546933951297/100000000000000000000000000 -30943206619714434633127253/500000000000000000000000000 -351860173363148947133421669/500000000000000000000000000 -81792617999047693649166367/1000000000000000000000000000 406053942119184584553826239/500000000000000000000000000


--- Term 19 ---

Dimension of type  : 2
Dimension of flags : 3
Number of flags    : 14
Matrix dimension   : 10

Flags :
F1  : {4}
F2  : {5}
F3  : {4, 5}
F4  : {6}
F5  : {4, 6}
F6  : {5, 6}
F7  : {4, 5, 6}
F8  : {7}
F9  : {4, 7}
F10 : {5, 7}
F11 : {4, 5, 7}
F12 : {6, 7}
F13 : {4, 6, 7}
F14 : {5, 6, 7}

Basis :
B1  : (F2)-(F1)
B2  : (F4)-(F1)
B3  : (F8)-(F1)
B4  : (F5)-(F3)
B5  : (F10)-(F3)
B6  : (F12)-(F3)
B7  : (F9)-(F6)
B8  : (F11)-(F7)
B9  : (F13)-(F7)
B10 : (F14)-(F7)

Matrix :
149977939568543684855257551/62500000000000000000000000 -471774382935551305114875323/200000000000000000000000000 -5096890459109088364941041/250000000000000000000000000 -9845828853186932087391431/200000000000000000000000000 9845828734105788917305007/200000000000000000000000000 -49229143348647945786660653/1000000000000000000000000000 81468252682344830458071941/1000000000000000000000000000 -231335074304872307904263131/1000000000000000000000000000 20022409751359642020385547/100000000000000000000000000 1944436016069902938711341/125000000000000000000000000
-471774382935551305114875323/200000000000000000000000000 599911758219817538439281571/250000000000000000000000000 -20387556885958397381560747/1000000000000000000000000000 12307286066789836913355729/250000000000000000000000000 -24614572010740518480925773/500000000000000000000000000 24614571750457543652331859/500000000000000000000000000 16293649197172664048792483/200000000000000000000000000 200224096582423195658288501/1000000000000000000000000000 -231335074720204973878612563/1000000000000000000000000000 3888872277340513409585223/250000000000000000000000000
-5096890459109088364941041/250000000000000000000000000 -20387556885958397381560747/1000000000000000000000000000 479929407061267709768249761/200000000000000000000000000 -1230728602075187730762241/25000000000000000000000000 12307285737322433854625629/250000000000000000000000000 6153642847588174964482807/125000000000000000000000000 -81468248048516920324624727/1000000000000000000000000000 7777743874695172135698033/500000000000000000000000000 3888872033511906973666157/250000000000000000000000000 -5783376861994151758054343/25000000000000000000000000
-9845828853186932087391431/200000000000000000000000000 12307286066789836913355729/250000000000000000000000000 -1230728602075187730762241/25000000000000000000000000 1213677088943401751726142579/1000000000000000000000000000 -121986918177138799522559763/200000000000000000000000000 -60374249957608356288263609/200000000000000000000000000 12595489734035311/40000000000000000000000000 -1033888244188414127702569/100000000000000000000000000 10338883608362845479332787/1000000000000000000000000000 -258472068076327731497859/25000000000000000000000000
9845828734105788917305007/200000000000000000000000000 -24614572010740518480925773/500000000000000000000000000 12307285737322433854625629/250000000000000000000000000 -121986918177138799522559763/200000000000000000000000000 1213677089229468763523802569/1000000000000000000000000000 -301871248696018398808259183/1000000000000000000000000000 361455392867009363/1000000000000000000000000000 5169441804083227895101291/500000000000000000000000000 -10338882865593323627081399/1000000000000000000000000000 2584720638330582798445701/250000000000000000000000000
-49229143348647945786660653/1000000000000000000000000000 24614571750457543652331859/500000000000000000000000000 6153642847588174964482807/125000000000000000000000000 -60374249957608356288263609/200000000000000000000000000 -301871248696018398808259183/1000000000000000000000000000 1213677088566779229663794111/1000000000000000000000000000 -679683133035101573/1000000000000000000000000000 -1292360419781682258838407/125000000000000000000000000 10338882736170988706946797/1000000000000000000000000000 1292360360316792649369631/125000000000000000000000000
81468252682344830458071941/1000000000000000000000000000 16293649197172664048792483/200000000000000000000000000 -81468248048516920324624727/1000000000000000000000000000 12595489734035311/40000000000000000000000000 361455392867009363/1000000000000000000000000000 -679683133035101573/1000000000000000000000000000 162772688948860887516725461/500000000000000000000000000 -15539850135833702908934397/250000000000000000000000000 -62159399620523341451570789/1000000000000000000000000000 15539849971738926990678413/250000000000000000000000000
-231335074304872307904263131/1000000000000000000000000000 200224096582423195658288501/1000000000000000000000000000 7777743874695172135698033/500000000000000000000000000 -1033888244188414127702569/100000000000000000000000000 5169441804083227895101291/500000000000000000000000000 -1292360419781682258838407/125000000000000000000000000 -15539850135833702908934397/250000000000000000000000000 214490665636736765378528757/200000000000000000000000000 -107286471718039765199480599/200000000000000000000000000 -33501310595850576621460381/125000000000000000000000000
20022409751359642020385547/100000000000000000000000000 -231335074720204973878612563/1000000000000000000000000000 3888872033511906973666157/250000000000000000000000000 10338883608362845479332787/1000000000000000000000000000 -10338882865593323627081399/1000000000000000000000000000 10338882736170988706946797/1000000000000000000000000000 -62159399620523341451570789/1000000000000000000000000000 -107286471718039765199480599/200000000000000000000000000 134056665817209131540623609/125000000000000000000000000 -33501310654615908571158171/125000000000000000000000000
1944436016069902938711341/125000000000000000000000000 3888872277340513409585223/250000000000000000000000000 -5783376861994151758054343/25000000000000000000000000 -258472068076327731497859/25000000000000000000000000 2584720638330582798445701/250000000000000000000000000 1292360360316792649369631/125000000000000000000000000 15539849971738926990678413/250000000000000000000000000 -33501310595850576621460381/125000000000000000000000000 -33501310654615908571158171/125000000000000000000000000 134056666018493406752160801/125000000000000000000000000

